bitkeeper revision 1.1041.6.2 (40e52272y6_U6CzuMhfEqO8UT-l_fA)

doc fix

diff --git a/docs/HOWTOs/XenDebugger-HOWTO b/docs/HOWTOs/XenDebugger-HOWTO
index 8d5dc69e69a7e075abaae9004d1af5018ff6edf7..1aba294abba0449a1cb5b2d956b9223611fdc82e 100644 (file)
--- a/docs/HOWTOs/XenDebugger-HOWTO
+++ b/docs/HOWTOs/XenDebugger-HOWTO
@@ -77,7 +77,7 @@ Serial Port Configuration
   one stream (without the high bit) is the console and 
   one stream (with the high bit stripped) is the pdb communication.
 
-  See:  xeno.bk/tools/nsplitd
+  See:  xeno.bk/tools/misc/nsplitd
 
   nsplitd configuration
   ---------------------
@@ -107,7 +107,7 @@ Serial Port Configuration
   characters received.
 
   You can connect to the nsplitd using
-  'tools/xenctl/lib/console_client.py <host> <port>'
+  'tools/misc/xencons <host> <port>'
 
 GDB 6.0
   pdb has been tested with gdb 6.0.  It should also work with